Implantation of an intraocular lens